#수학 난제

앤스로픽 '클로드 미토스', 에르되시 난제 '간결한 증명'으로 해결

앤스로픽의 엔지니어들은 최신 AI 모델인 클로드 미토스(Claude Mythos)가 조합 기하학의 오래된 난제인 '에르되시 단위 거리 추측'을 매우 간결한 방식으로 해결했다고 밝혔습니다. 구글 딥마인드와 오픈AI에 이어 앤스로픽까지 수학 난제 해결에 성공하며, AI 기반 수학적 발견의 속도가 빠르게 가속화되고 있음을 보여줍니다.

챗GPT 5.4, 64년 난제 풀었다

23세 사용자가 ChatGPT 5.4 Pro를 이용해 60여 년간 미해결로 남아있던 에르되시(Erdős) 수학 난제를 단 한 번의 시도로 풀어냈습니다. 모델이 약 1시간 20분 만에 기존에 알려진 공식을 해당 문제에 접목시켜 해결책을 도출한 것으로 전해졌습니다. 해당 대화 기록은 공개되어 있으나 현재까지 완벽하게 검증된 상태는 아닙니다.

챗GPT로 60년 난제 푼 23세 아마추어 수학자

23세 아마추어가 OpenAI의 최신 모델을 활용해 60년 된 에르되시 추측 수학 문제를 단 한 번의 프롬프트로 해결했습니다. AI가 인간 수학자들이 놓친 완전히 새로운 접근법을 고안해냈다는 점에서, 학계는 AI의 수학적 추론 능력이 실질적인 응용 가치를 지니기 시작했음을 확인하는 중요한 사례로 평가하고 있습니다.